Let
φ
be a group homomorphism from
G
to
.
Then
.
. Then
. . Then
.